Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
31	Anna Adamaszek, Andreas Wiese Tutorials: Marvin K¨ unnemann Summer 2014 Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-06-04 08:46:15 Computational complexity theory Mathematics NP-complete problems Theory of computation Packing problems Operations research Approximation algorithms Knapsack problem Vertex cover Bin packing problem Hardness of approximation Algorithm
32	SET COVERING WITH OUR EYES CLOSED∗ FABRIZIO GRANDONI† , ANUPAM GUPTA‡ , STEFANO LEONARDI§ , PAULI MIETTINEN¶, PIOTR SANKOWSKI§ k , AND MOHIT SINGH∗∗ Abstract. Given a universe U of n elements and a weighted Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2013-03-13 08:17:47 Computational complexity theory Mathematics NP-complete problems Theory of computation Set cover problem Approximation algorithm Algorithm Analysis of algorithms Bin packing problem Vertex cover
33	Quantifying the Rise and Fall of Complexity in Closed Systems: The Coffee Automaton Scott Aaronson∗ Sean M. Carroll† Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-05-27 14:31:46 Information theory Randomness Metaphysics Theoretical computer science Theory of computation Entropy Kolmogorov complexity Sophistication Complexity Random sequence Algorithmic information theory Mutual information
34	1968 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 7, JULY 2014 Holding Time Maximization Preserving Output Performance for Timed Event Graphs Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2015-03-26 11:31:05 Mathematical analysis Academia Mathematics Models of computation Control theory Matrix Petri net Perturbation theory Mathematical optimization Transfer function
35	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
36	Open Problems in the OEIS Neil J A Sloane Guest Lecture, Zeilberger Experimental Math Class, May Add to Reading List Source URL: neilsloane.com Language: English - Date: 2016-05-17 20:35:58 Mathematics Integer sequences Algebra Theory of computation On-Line Encyclopedia of Integer Sequences Recurrence relations Sequence Monday
37	VIRGINIA SPACE GRANT - STUDENT RESEARCH CONFERENCEValidation Framework for Multiprocessor and Distributed Scheduling Algorithms Add to Reading List Source URL: www.vsgc.odu.edu Language: English - Date: 2013-05-02 13:43:42 Computational complexity theory Operations research Mathematics Theory of computation Mathematical optimization Optimization problem Algorithm Time complexity Evolutionary multimodal optimization Global optimization
38	Computing Fundamentals Computational Complexity Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-06-11 10:49:26 Computational complexity theory Analysis of algorithms Theory of computation Computer science Mathematics Time complexity Best worst and average case Algorithm Average-case complexity Fast Fourier transform Generic-case complexity
39	A Commitment-Consistent Proof of a Shuﬄe Douglas Wikstr¨om CSC KTH Stockholm, Sweden Abstract. We introduce a pre-computation technique that drastically Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:52:53 Cryptography Public-key cryptography Computational complexity theory Paillier cryptosystem Proof of knowledge Commitment scheme RSA Zero-knowledge proof Permutation ElGamal encryption IP
40	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct